Buy Used and New Marieke Huisman Books

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint ... Proceedi (Lecture Notes in Computer Science)

by Dirk Beyer, Marieke Huisman

ISBN 13: 9783319899596

Format: Paperback (452 pages)
Publisher: Springer
Published: 12 Apr 2018

Save for later